Modeling Abstract Behavior: A Dynamic Logic Approach
نویسندگان
چکیده
Modeling abstract behavior is essential for intelligent agents under incomplete and uncertain environments. In this paper, we extend Propositional Dynamic Logic (PDL) to Propositional Abstract Dynamic Logic (PADL) for modeling abstract behavior in two aspects. On the one hand, we treat the task of finding a plan to achieve a certain formula as an abstract action. On the other hand, we explicitly represent the subsumption relation between two actions as a formula in the language. We propose the semantics for the two operators and discuss some important related properties.
منابع مشابه
Dynamic Modeling of the Electromyographic and Masticatory Force Relation Through Adaptive Neuro-Fuzzy Inference System Principal Dynamic Mode Analysis
Introduction: Researchers have employed surface electromyography (EMG) to study the human masticatory system and the relationship between the activity of masticatory muscles and the mechanical features of mastication. This relationship has several applications in food texture analysis, control of prosthetic limbs, rehabilitation, and teleoperated robots. Materials and Methods: In this paper, w...
متن کاملDrill string Vibration Modeling Including Coupling Effects
Abstract: The governing equations of motion for a drill string considering coupling between axial, lateral and torsional vibrations are obtained using a Lagrangian approach. The result leads to a set of non-linear equations with time varying coefficients. A fully coupled model for axial, lateral, and torsional vibrations of drill strings is presented. The bit/formation interactions are assumed ...
متن کاملA dynamic risk analysis on new product development process
Abstract In the dynamic and competitive market, managers seek to find effective strategies for new products development. Since There has not been a thorough research in this field, this study is based on a review on the risks exist in the NPD process and an analysis of risks through FMEA approach to prioritize the existent risks and a modeling behavior of the NPD process and main risks using s...
متن کاملSystem Dynamics Modeling in Entrepreneurship Research: A Review of the Literature
System dynamics is a strategic approach for modeling complex systems and analyzing their behavior. Dynamic behavior in entrepreneurial system can be modeled using System Dynamics Approach and dynamic hypotheses about the system`s behavior can be proposed and tested using simulation and computer aided tools. However, as the review of literature shows, studies which link system dynamics modeling ...
متن کاملModeling of Dynamic Behavior and Estimation of Damage Incurred by Self-Centering Rocking Walls
Self-centering rocking walls are known as viable alternatives to typical shear walls, as they provide a number of solutions for eliminating seismic flaws of conventional designs. These rocking walls have a generally positive impact on the seismic behavior of structural systems, but their design makes them susceptible to concrete crushing around their base, which can lead to significantly advers...
متن کامل